" Christian Wenzel" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Автор: Stefan Berghofer, Автор: Tobias Nipkow, Автор: Christian Urban, Автор: Makarius Wenzel

Категория: Компьютеры

Размер книги: 5.45 Mb

An Introduction to Kant's Aesthetics: Core Concepts and Problems

Автор: Christian Helmut Wenzel, Автор: Christian Wenzel

Размер книги: 870 Kb